More from this Author

Higher-Order Algebra, Logic, and Term Rewriting

by Jan Heering (Editor), Karl Meinke (Editor), Bernhard Möller (Editor), Tobias Nipkow (Editor)

Machine Learning for Dynamic Software Analysis: Potentials and Limits

by Amel Bennaceur (Editor), Reiner Hähnle (Editor), Karl Meinke (Editor)

Computer Science Logic

by Egon Börger (Editor), Yuri Gurevich (Editor), Karl Meinke (Editor)